4

A C-tree decomposition algorithm for 2D and 3D geometric constraint solving

Year:
2006
Language:
english
File:
PDF, 311 KB
english, 2006
19

Decomposition of ordinary difference polynomials

Year:
2009
Language:
english
File:
PDF, 884 KB
english, 2009
23

Automated production of traditional proofs in solid geometry

Year:
1995
Language:
english
File:
PDF, 1.67 MB
english, 1995